Transitive closure - PDFSEARCH.IO - Document Search Engine

Transitive closure
Results: 48

#	Item
31	Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:53:30 Science Logic Information Transitive closure Abox Description logic
32	The Set Constraint/CFL Reachability Connection in Practice John Kodumal Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-04-22 02:37:00 Network flow Graph connectivity Reachability Flow network Transitive closure SL Constraint graph Graph Directed acyclic graph Graph theory Theoretical computer science Mathematics
33	Course Notes for Math 320: Fundamentals of Mathematics Chapter 4: Relations, Equivalence Relations and Congruence. March 14, 2006 Add to Reading List Source URL: www.csun.edu Language: English - Date: 2006-03-14 12:05:52 Binary relation Finitary relation Inverse function Order theory Transitive closure Preorder Mathematics Mathematical analysis Equivalence relation
34	1993 Paper 11 Question 11 Discrete Mathematics Let A be a non-empty set, and ≺ be a relation on A. What is meant by saying that (A, ≺) is a partially ordered set? [3 marks] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:16:52 Abstraction Partially ordered set Total order Ordered set Binary relation Finitary relation Transitive closure Well-order Constructible universe Mathematics Order theory Structure
35	Inductively Finding a Reachable State Space Over-Approximation Michael L. Case Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-01 16:01:54 Graph connectivity Diagrams Models of computation Directed acyclic graph Transitive closure Reachability Unreachable memory Model checking Connected component Graph theory Mathematics Theoretical computer science
36	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:18:57 Topological sorting Transitive closure Partially ordered set Tree Directed graph Graph Transitivity Cycle graph Multitree Graph theory Order theory Directed acyclic graph
37	Event Matching Using the Transitive Closure of Dependency Relations Daniel M. Bikel and Vittorio Castelli IBM T. J. Watson Research Center 1101 Kitchawan Road Yorktown Heights, NY 10598 {dbikel,vittorio}@us.ibm.com Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-15 03:24:25 Syntax Semantics Semiotics Parse tree Word-sense disambiguation Transitive closure Linguistics Natural language processing Computational linguistics
38	15 Alice: Sergio: Alice: Riccardo: Vittorio: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Semantics Datalog Logic programming Rules of inference Stratification Negation as failure Negation Transitive closure Model theory Logic Mathematics Mathematical logic
39	Termination Analysis with Compositional Transition Invariants? Daniel Kroening1 , Natasha Sharygina2,4 , Aliaksei Tsitovich2 , and Christoph M. Wintersteiger3 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-04-30 09:51:18 Program logic Formal methods Mathematical logic Static program analysis Termination analysis Predicate transformer semantics Transitive closure Algorithm Control flow Mathematics Abstract algebra Theoretical computer science
40	Finding Botnets Using Minimal Graph Clusterings Peter Haider [removed] Tobias Scheffer [removed] Add to Reading List Source URL: icml.cc Language: English - Date: 2012-06-07 13:20:18 Multi-agent systems Spamming Computing Botnets Multivariate statistics Adjacency matrix Storm botnet Cluster analysis Transitive closure Mathematics Statistics Computer network security